/*
 * To change this license header, choose License Headers in Project Properties.
 * To change this template file, choose Tools | Templates
 * and open the template in the editor.
 */
package jps_s10996_s7175.envs;

import edu.pjwstk.jps.interpreter.envs.IENVSBinder;
import edu.pjwstk.jps.result.IAbstractQueryResult;

/**
 *
 * @author Tomasz
 */
public class ENVSBinder implements IENVSBinder {
    
    private final String name;
    private final IAbstractQueryResult value;
    
    public ENVSBinder(String name, IAbstractQueryResult val) {
        this.name = name;
        this.value = val;
    }

    @Override
    public String getName() {
        return name;
    }

    @Override
    public IAbstractQueryResult getValue() {
        return value;
    }
    
    @Override
    public String toString(){
        return getName() + " = " + getValue();
    }
}
